Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
By: Kreowski, Hans-Jorg.
Contributor(s): Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.
Material type:
BookSeries: 3393. Lecture notes in computer science.Publisher: Berlin: Springer-Verlag, 2005Description: xxvii, 411 p.; : 24 cm.ISBN: 3540249362 .Subject(s): Algebraic logic | Computer systems - Design and construction | Discrete Mathematics in Computer Science | Transformation de graphes | Formal methods (Computer science) | Graph theory - Data processingDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 KRE (Browse shelf) | Available | 012388 |
There are no comments for this item.